Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙️systems programming
Dependent types I › Universes, or types of types
jonmsterling.com·9h·
Discuss: Hacker News
🐫ocaml
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐫ocaml
The Compass Pattern: How smart documentation architecture saves $0.63M annually
wyrd-technology.com·1d·
Discuss: Hacker News
⚙️systems programming
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·1d·
Discuss: Hacker News
🐫ocaml
Implementing Forth in Go and C
eli.thegreenplace.net·12h·
Discuss: Lobsters, Hacker News, Hacker News
🔄compilers
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2d·
Discuss: Hacker News
⚙️systems programming
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·2d·
Discuss: Hacker News
⚙️systems programming
The Grammar According to West
dwest.web.illinois.edu·2h·
Discuss: Hacker News
🐫ocaml
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·4h·
Discuss: Lobsters, Hacker News
🔄compilers
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·21h·
Discuss: Hacker News
⚙️systems programming
Builder Pattern in CDK
medium.com·1d·
Discuss: Hacker News
⚙️systems programming
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·14h·
Discuss: Hacker News
🐫ocaml
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·1d·
Discuss: Hacker News
⚡query optimization
Why I’m Against Claude Code’s Grep-Only Retrieval? It Just Burns Too Many Tokens
milvus.io·2d·
Discuss: Hacker News
⚙️systems programming
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·6h·
Discuss: Lobsters, Hacker News
⚙️systems programming
Drama Model Inference Efficiency Boosted by 1.7x-2.3x
pytorch.org·16h·
Discuss: Hacker News
🐫ocaml
Exploring the Dominion of Anoma
research.anoma.net·1h·
Discuss: Lobsters, Hacker News
⚙️systems programming
Inside Zig's New Writer
joegm.github.io·1h·
Discuss: Lobsters, Hacker News
🔄compilers
Music to Break Models By
matthodges.com·1d·
Discuss: Hacker News
⚙️systems programming